Received: by toadflax.cs.ucdavis.edu (4.1/UCD.CS.2.6)
id AA11425; Mon, 14 Nov 94 17:33:07 PST
Received: from mail.cs.utexas.edu by toadflax.cs.ucdavis.edu (4.1/UCD.CS.2.6)
id AA11418; Mon, 14 Nov 94 17:33:03 PST
Received: from lovelady.cs.utexas.edu (mthomas@lovelady.cs.utexas.edu [128.83.138.119]) by mail.cs.utexas.edu (8.6.9/8.6.9) with ESMTP id TAA20694 for <announce@cs.ucdavis.edu>; Mon, 14 Nov 1994 19:32:34 -0600
Received: by lovelady.cs.utexas.edu (8.6.9/Client-v1.4)